Sequential Completeness for ⊤-Quasi-Uniform Spaces and a Fixed Point Theorem

We define sequential completeness for ⊤-quasi-uniform spaces using Cauchy pair ⊤-sequences. show that implies and ⊤-uniform with countable bases, are equivalent. As an illustration of the applicability concept, we give a fixed point theorem certain contractive self-mappings in space. This result yields, as special case, probabilistic metric spaces.